Analytic functors between presheaf categories over groupoids
نویسندگان
چکیده
منابع مشابه
Data types with symmetries and polynomial functors over groupoids
Polynomial functors (over Set or other locally cartesian closed categories) are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect is often prominent and justifies the terminology. For example, Tambara’s theorem states that the cate...
متن کاملFunctors between Reedy Model Categories of Diagrams
If D is a Reedy category and M is a model category, the category M of D-diagrams in M is a model category under the Reedy model category structure. If C → D is a Reedy functor between Reedy categories, then there is an induced functor of diagram categories M → M. Our main result is a characterization of the Reedy functors C → D that induce right or left Quillen functors M → M for every model ca...
متن کاملOn Gr-functors between Gr-categories
Each Gr-category (or categorical group) is Gr-equivalent to a Grcategory of type (Π, A, ξ), where Π is a group, A is a Π-module and ξ is a 3-cocycle of Π, with coefficients in A. In this paper, first we show that each Gr-functor induces one between Gr-categories of type (Π, C). Then we give results on the existence of Gr-functor and the classification of Gr-functors by cohomology groups H(Π, C)...
متن کاملExponentiable Functors Between Quantaloid-Enriched Categories
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey some lax commutativity; this, in turn, is precisely what is needed to prove the existence of partial products with that functor; so that the functor’s expone...
متن کاملCategories and Groupoids
In 1968, when this book was written, categories had been around for 20 years and groupoids for twice as long. Category theory had by then become widely accepted as an essential tool in many parts of mathematics and a number of books on the subject had appeared, or were about to appear (e.g. [13, 22, 37, 58, 65]). By contrast, the use of groupoids was confined to a small number of pioneering art...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2014
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2014.03.004